stage invariant

阶段不变量